Quantifier elimination - PDFSEARCH.IO - Document Search Engine

Quantifier elimination
Results: 48

#	Item
31	Word-level Quantifier Elimination Supratik Chakraborty IIT Bombay (Joint work with Ajith John) VMCAIJan 14, 2015) Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2015-01-25 05:41:45 Spectral theory Operator theory Ordinary differential equations Mathematical analysis Measure theory Support
32	The Ackermann Award 2007 M. Grohe, M. Hyland, J.A. Makowsky, and D. Niwinski Members of EACSL Jury for the Ackermann Award? The third Ackermann Award is presented at this CSL’07. This is the first year in which the EAC Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Mathematics Decidability Presburger arithmetic Automated theorem proving Natural deduction Wilhelm Ackermann Quantifier elimination Modal logic Deep inference Proof theory Logic Mathematical logic
33	@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department", Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2007-01-22 14:30:32 Model theory Proof theory Metalogic Logic in computer science Computability theory Presburger arithmetic Quantifier elimination Decidability Jan Łukasiewicz Mathematical logic Logic Mathematics
34	Research Memorandum ISIS-RM-5E Real Quadratic Quantifier Elimination in Risa/Asir Thomas Sturm∗ @date Add to Reading List Source URL: www.math.sci.kobe-u.ac.jp Language: English - Date: 2005-07-01 05:32:07 Quantification Complexity classes Finite model theory Model theory Quantifier elimination FO Well-formed formula Prenex normal form Arithmetical hierarchy Logic Mathematical logic Theoretical computer science
35	Transfer Function Synthesis without Quantifier Elimination J¨org Brauer and Andy King RWTH Aachen University Add to Reading List Source URL: www.embedded.rwth-aachen.de Language: English - Date: 2011-04-20 19:50:43 Quantifier elimination Existential quantification Logic Quantification Model theory
36	A (restricted) quantifier elimination for security protocols ? R. Ramanujam ∗ The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai[removed], India S.P. Suresh Add to Reading List Source URL: www.imsc.res.in Language: English - Date: 2006-08-04 05:49:00 Burrows–Abadi–Needham logic Needham–Schroeder protocol Communications protocol Model theory Quantifier elimination Security protocol notation Cryptographic protocols Data Information
37	Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:40 Model theory Constructible universe Lambda calculus First-order logic FO Interpretation Curry–Howard correspondence Boolean-valued model Mathematical logic Logic Mathematics
38	Boolean QE for Automotive Configuration Zengler, K¨ uchlin Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:29 Boolean algebra True quantified Boolean formula Quantifier elimination Boolean satisfiability problem Model theory Quantification FO Propositional calculus Mathematical logic Theoretical computer science Logic
39	Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras J.-P. Rolin∗ and T. Servi† Abstract We consider for every n ∈ N an algebra An of germs at 0 ∈ Rn of continuous real-val Add to Reading List Source URL: math.u-bourgogne.fr Language: English - Date: 2013-03-20 10:39:22 Functions and mappings Model theory Calculus Germ Sheaf theory O-minimal theory Function Sheaf Net Mathematics Mathematical analysis Topology
40	Elements of Geometric Stability Theory May[removed]Completeness and quantifier elimination for Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2008-10-13 06:19:06 Order theory Universal algebra Symbol Vector space Algebra Mathematics Closure operator